https://www.serieswans.com/2019/07/downgrade-miui-10-ke-miui-9-redmi-4x.html